Stichworte: Deadlock detection graph